python check if string is int